Abstract acceleration in linear relation analysis

Abstract acceleration in linear relation analysis

acceleration in Linear relation analysis Laure Gonnord, Nicolas Halbwachs To cite this version: Laure Gonnord, Nicolas Halbwachs. Abstract acceleration in Linear relation analysis. 2010. HAL Id: hal-00785116 https://hal.archives-ouvertes.fr/hal-00785116 Submitted on 5 Feb 2013 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whe...

Abstract Acceleration in Linear relation analysis (extended version)

Acceleration in Linear relation analysis (extended version) Laure Gonnord, Peter Schrammel To cite this version: Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear relation analysis (extended version). 2013. HAL Id: hal-00787212 https://hal.archives-ouvertes.fr/hal-00787212 Submitted on 11 Feb 2013 HAL is a multi-disciplinary open access archive for the deposit and d...

Combining Widening and Acceleration in Linear Relation Analysis

Linear Relation Analysis [CH78,Hal79] is one of the first, but still one of the most powerful, abstract interpretations working in an infinite lattice. As such, it makes use of a widening operator to enforce the convergence of fixpoint computations. While the approximation due to widening can be arbitrarily refined by delaying the application of widening, the analysis quickly becomes too expens...

Acceleration of the abstract fixpoint computation in numerical program analysis

Static analysis by abstract interpretation aims at automatically proving properties of computer programs, by computing invariants that over-approximate the program behaviors. These invariants are defined as the least fixpoint of a system of semantic equations and are most often computed using Kleene iteration. This computation may not terminate so specific solutions were proposed to deal with t...

Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires. (Abstract Acceleration to improve precision in Linear Relation Analysis)